proof of law of cosines